\begin{itemize}
  \item argumentation for usefulness (or not) of evolution conditions for
  co-evolution
  \item discussion of the methodology for co-evolution itself and relation
  between types of preservation by construction and types of evolution (for
  functionality or policy expansion)
\end{itemize}